closed set is compact

welcome to shbcf.ru